منابع مشابه
The Functorial Relations between Alexandrov Fuzzy Topologies and Upper Approximation Operators
In this paper, we investigate functorial relations between Alexandrov fuzzy topologies and upper approximation operators in complete residuated lattices. We present some examples. AMS Subject Classification: 03E72, 03G10, 06A15, 06F07, 54A40
متن کاملMolecular systematics of higher primates: genealogical relations and classification.
We obtained 5' and 3' flanking sequences (5.4 kilobase pairs) from the psi eta-globin gene region of the rhesus macaque (Macaca mulatta) and combined them with available nucleotide data. The completed sequence, representing 10.8 kilobase pairs of contiguous noncoding DNA, was compared to the same orthologous regions available for human (Homo sapiens, as represented by five different alleles), c...
متن کاملRibbon tensorial logic A functorial bridge between proofs and knots
Tensorial logic is a primitive logic of tensor and negation which refines linear logic by relaxing the hypothesis that tensorial negation A 7→ ¬A is involutive. The resulting logic of linear continuations provides a proof-theoretic account of game semantics, where the formulas and proofs of the logic reflect univoquely dialogue games and innocent strategies. In the present paper, we introduce a...
متن کاملFunctorial ML
We present an extension of the Hindley-Milner type system that supports a generous class of type constructors called functors, and provide a parametrically polymorphic algorithm for their mapping, i.e. for applying a function to each datum appearing in a value of constructed type. The algorithm comes from shape theory, which provides a uniform method for locating data within a shape. The result...
متن کاملSolutions of Functorial and Non-functorial Metric Domain Equations 1
A new method for solving domain equations in categories of metric spaces is studied. The categories CMS and KMS are introduced, having complete and compact metric spaces as objects and-adjoint pairs as arrows. The existence and uniqueness of xed points for certain endofunctors on these categories is established. The classes of complete and compact metric spaces are considered as pseudo-metric s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
سال: 1978
ISSN: 0373-6385
DOI: 10.2206/kyushumfs.32.53